Works by J. W. Klop

( view other items matching `J. W. Klop`, view all matches )
Order:
  1.  15
    Dirk Van Dalen: Festschrift.H. P. Barendregt, M. Bezem, D. van Dalen & J. W. Klop - 1993
    Direct download  
     
    Export citation  
     
    Bookmark  
  2. Chapter 1: Term rewriting systems.J. W. Klop - 1992 - In S. Abramsky, D. Gabbay & T. Maibaurn, Handbook of Logic in Computer Science. Oxford University Press. pp. 1--116.
    No categories
     
    Export citation  
     
    Bookmark  
  3. Rewrite systems.J. W. Klop - 1992 - In S. Abramsky, D. Gabbay & T. Maibaurn, Handbook of Logic in Computer Science. Oxford University Press.
     
    Export citation  
     
    Bookmark